/* Copied from codemirror */
/* BASICS */ 
.CodeMirror { height: 620px; }
